html{background-image:url(bg.png) }

body { font-family:sans-serif; line-height:1.2; margin:0 auto; width:60em; }
h1,h2,h3 {line-height:1.7}
a { text-decoration:none }
a,a:visited { color: #0000FF; }
a:hover { text-decoration:underline }
.toc{margin-left:2em}
@media only screen and (max-width:60em)
{
body{width:92%}
}
    
/* Inline code */
code {
  background-color: #f5f5f5;  /* Light gray highlight */
  white-space: nowrap;        /* No wrapping inside inline code */
}

/* Code inside <pre> */
pre code {
  display: block;  /* Ensures full block formatting */
  background-color: #f5f5f5; /* Dark background for contrast */
  padding: 0.5rem;             /* Space around code */
  overflow-x: auto;          /* Horizontal scroll for long lines */
  white-space: pre; /* Preserve whitespace and line breaks */
}